
void encoding() {
    print("Héllo");
}

